27C3: Analyzing A Modern Cryptographic Rfid System